Symbolic Constraints in Constructive Geometric Constraint Solving

In design and manufacturing applications users of computer aided de sign systems want to de ne relationships between dimension variables since such relationships express design intent very exibly This work reports on a technique developed to enhance a class of constructive geometric con straint solvers with the capability of managing functional relationships be tween dimension variables The method is shown to be correct Work supported in part by ONR Contract N J and by NSF Grants CDA ECD and CCR While on leave in the Department of Computer Sciences Purdue University Partially sup ported by a CIRIT fellowship of the Government of Catalonia under grant BEAI